#ifndef __CAPTURE_H__
#define __CAPTURE_H__



#include <stdint.h>



#define SIGNATURE_NMI    				0
#define SIGNATURE_HARD_FAULT    1




void hard_fault_handler_c(uint32_t *hardfault_args, int fault_type);







#endif



